Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
21	Exploring Maths at Advanced Level Maths Activities for the HP Prime and HP39gII Chris Olley Exploring Maths at Advanced Level Add to Reading List Source URL: www.hp-prime.de Language: English - Date: 2014-04-07 03:08:29 Programmable calculators Mathematics Graphing calculators Computing Consumer electronics Office equipment Computer algebra systems Mathematical notation Calculator HP calculators HP Prime Software calculator
22	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
23	Speakeasy: A Platform for Interactive Public Displays Julie A. Black1, Jason I. Hong2, Mark W. Newman3, W. Keith Edwards, Shahram Izadi, Jana Z. Sedivy, Trevor F Smith 1 Stanford University Add to Reading List Source URL: trevor.smith.name Language: English - Date: 2012-11-23 14:19:46 Software Application software Mathematical software Cross-platform software Econometrics software Numerical software Speakeasy Web page
24	(MI)NLPLib 2 Stefan Vigerske 16th July 2015 ISMP, Pittsburgh Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-08-07 11:28:12 Numerical software Draft:Extended mathematical programming TomSym
25	Dr. Keith Sevcik Experience Lockheed Martin Space Systems Company Add to Reading List Source URL: carbidelabs.com Language: English - Date: 2013-08-01 21:16:44 Software Mathematical software Application software Cross-platform software Numerical software Avionics Robotics Unmanned aerial vehicle Wireless LabVIEW Piasecki Aircraft Robot competition
26	Microsoft Word - IMS Researcher Profile Summary - Hassan Al Atat Add to Reading List Source URL: www.imscenter.net Language: English - Date: 2009-03-23 17:11:24 Maintenance Prediction Survival analysis Engineering Software Prognostics Mathematical software Intelligent maintenance system LabVIEW Mechanical engineering Systems engineering Machine learning
27	gnuplot Quick Reference (Copyright(c) Alex Woo 1992 June 1) Updated by Hans-Bernhard Br¨ oker, AprilStarting gnuplot Add to Reading List Source URL: gnuplot.sourceforge.net Language: English - Date: 2004-12-10 10:42:26 Mathematics Mathematical analysis Software Functions and mappings Charts Elementary mathematics Curves Computer animation Gnuplot Contour line Exponentiation Plot
28	An Introduction Tim Johannessen & Franz Nelißen GAMS Software GmbH GAMS Development Corp. Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-09-16 13:20:03 Computer algebra systems General Algebraic Modeling System Numerical software Software Mathematical analysis Theoretical computer science Gams Operations research Scientific modeling Algebraic modeling language Modeling language BARON
29	1 Introduction The following is a collection of synonyms for various operations in the computer algebra systems Axiom, Derive, GAP, Gmp, DoCon, Macsyma, Magnus, Maxima, Maple, Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2016-08-05 15:03:10 Software Mathematical software Computer algebra systems Discontinued software Cross-platform software Computer algebra Maple Macsyma MuPAD SageMath Scilab Matrix
30	DOC Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-03-09 11:59:09 Computing Graph theory Software engineering DOT Graph drawing Mathematical software PostScript Graph Connectivity Node Tree GraphStream